- теоретико-множественная арифметика
- set-theory arithmetic мат.
Русско-английский научно-технический словарь Масловского. 2015.
теоретико-множественная арифметика
Look at other dictionaries:
ТЕОРЕТИКО-МНОЖЕСТВЕННАЯ ЛОГИКА — (теоретико множественная логика п р е д и к а т о в) – логика, трактуемая с т. зр. теории множеств. К Т. м. л. в широком с м ы с л е можно отнести любые интерпретации логич. исчислений, в основу к рых положено объемное, экстенсиональное понимание … Философская энциклопедия
ГЕЙТИНГА ФОРМАЛЬНАЯ СИСТЕМА — Гейтипга исчисление, название трех формальных систем конструктивной логики, предложенных А. Рейтингом [1]. Первая из них гейтинговское, или интуиционистское, исчисление высказываний формализация принципов конструктивной логики высказываний;… … Математическая энциклопедия
Топология — Не следует путать с топографией. У этого термина существуют и другие значения, см. Топология (значения). Лента Мёбиуса поверхно … Википедия
ЛОГИЦИЗМ — направление в философии математики, возникшее в конце XIX начале XX в. Его основоположниками были Г. Фреге и Б. Рассел. Сущность логицизма состояла в стремлении свести математику к логике (математической) и таким образом обосновать истинность и… … Философия науки: Словарь основных терминов
